Feeds to Scour
SubscribedAll
Scoured 9573 posts in 399.9 ms
Doc-First Development: Because 'We'll Document It Later' Is a Lie
dev.to·1d·
Discuss: DEV
🔌Interface Evolution
Preview
Report Post
Tackling Unmaintainable Complexity with Automation: Building a Multi-Tenant SaaS Solo
ko-chan.github.io·12h·
Discuss: DEV
🔐Capability Systems
Preview
Report Post
Show HN: AgentCmds – A directory of slash commands for AI agents
agentcmds.work·17h·
Discuss: Hacker News
⚡Proof Automation
Preview
Report Post
git rebase (Al Viro; Linus Torvalds; Theodore Tso)
yarchive.net·1d
🌳Git Internals
Preview
Report Post
From Intent to Proof: Dafny Verification for Web Apps
midspiral.com·1d·
Discuss: Lobsters, Hacker News
🏛️Agda
Preview
Report Post
2025 Compilation and Review
bumbershootsoft.wordpress.com·7h
🎮Switch Archaeology
Preview
Report Post
Show HN: Code webapps like it is 2010 – with agents & modern tech. A starter
github.com·16h·
Discuss: Hacker News
📏Code Metrics
Preview
Report Post
Open Source: A Friendly Guide for New Developers
dev.to·14h·
Discuss: DEV
🔓Open Source Software
Preview
Report Post
A Validated Semantics for LLVM IR
sf.snu.ac.kr·16h
✅Formal Methods
Preview
Report Post
The Compiler Is Your Best Friend, Stop Lying to It
blog.daniel-beskin.com·2d·
Discuss: Hacker News, r/programming
🦀Rust Borrowing
Preview
Report Post
Introducing Pkl, a programming language for configuration
pkl-lang.org·9h
💧Liquid Types
Preview
Report Post
.NET R&D Digest (December, 2025)
olegkarasik.wordpress.com·3d·
Discuss: Hacker News
👁️System Observability
Preview
Report Post
The 3 a.m. Call That Changed The Way I Design APIs
thenewstack.io·9h
👁️Observatory Systems
Preview
Report Post
Machine-Driven Code Review
bits.logic.inc·1d·
Discuss: Hacker News
🔄Language Evolution
Preview
Report Post
From Zero to QED: An informal introduction to formality in Lean 4
sdiehl.github.io·1d
🔬Lean
Preview
Report Post
Containers are easy—moving your legacy system off your VM is not
stackoverflow.blog·1d
🔗Proxmox Clustering
Preview
Report Post
Vibe Coding vs. Vibe Engineering
loufranco.com·1d
📏Code Metrics
Preview
Report Post
We Lost the Thread on the Data Lake
blog.matterbeam.com·4h·
Discuss: Hacker News
💿ZFS Archaeology
Preview
Report Post
Zen-GC – policy-driven K8s garbage collection for automated cleanup
github.com·11h·
Discuss: Hacker News
📦Container Security
Preview
Report Post
This Year in Rails
rubyonrails.org·12h·
Discuss: Hacker News
🔄Sync Engine
Preview
Report Post